"Computer" Solution and Generalization of a Classical Arithmetic Problem
نویسندگان
چکیده
منابع مشابه
solution of security constrained unit commitment problem by a new multi-objective optimization method
چکیده-پخش بار بهینه به عنوان یکی از ابزار زیر بنایی برای تحلیل سیستم های قدرت پیچیده ،برای مدت طولانی مورد بررسی قرار گرفته است.پخش بار بهینه توابع هدف یک سیستم قدرت از جمله تابع هزینه سوخت ،آلودگی ،تلفات را بهینه می کند،و هم زمان قیود سیستم قدرت را نیز برآورده می کند.در کلی ترین حالتopf یک مساله بهینه سازی غیر خطی ،غیر محدب،مقیاس بزرگ،و ایستا می باشد که می تواند شامل متغیرهای کنترلی پیوسته و گ...
a generalization of strong causality
در این رساله t_n - علیت قوی تعریف می شود. این رده ها در جدول علیت فضا- زمان بین علیت پایدار و علیت قوی قرار دارند. یک قضیه برای رده بندی آنها ثابت می شود و t_n- علیت قوی با رده های علی کارتر مقایسه می شود. همچنین ثابت می شود که علیت فشرده پایدار از t_n - علیت قوی نتیجه می شود. بعلاوه به بررسی رابطه نظریه دامنه ها با نسبیت عام می پردازیم و ثابت می کنیم که نوع خاصی از فضا- زمان های علی پایدار, ب...
A generalization of the classical secretary problem
The classical secretary problem is a well known optimal stopping problem from probability theory. It is usually described by different real life examples, notably the process of hiring a secretary. Imagine a company manager in need of a secretary. Our manager wants to hire only the best secretary from a given set of n candidates, where n is known. No candidate is equally as qualified as another...
متن کاملA Graphic Generalization of Arithmetic
In this paper, we extend the classical arithmetic defined over the set of natural numbers N, to a set containing all finite directed connected multigraphs having a pair of distinct distinguished vertices. Specifically, we introduce a model F on the set of such graphs, and provide an interpretation of the language of arithmetic L = {0, 1,6,+,×} inside F . The resulting model exhibits the propert...
متن کاملA generalization of a conservativity theorem for classical versus intuitionistic arithmetic
A basic result in Intuitionism is Π2-Conservativity. Take any proof p in Classical Arithmetic of some Π2-statement (some arithmetical statement ∀x.∃y.P (x, y), with P decidable). Then we may effectively turn p in some intuitionistic proof of the same statement. In a previous paper [1], we generalized this result: any classical proof p of an arithmetical statement ∀x.∃y.P (x, y), with P of degre...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ??????? ????????????? ???????????????? ????????????
سال: 2022
ISSN: ['2500-1930', '2542-033X']
DOI: https://doi.org/10.21779/2542-0321-2022-37-3-25-29